Reusing RTL assertion checkers for verification of SystemC TLM models

The recent trend towards system-level design gives rise to new challenges for reusing existing RTL intellectual properties (IPs) and their verification environment in TLM. While techniques and tools to abstract RTL IPs into TLM models have begun to appear, the problem of reusing, at TLM, a verification environment originally developed for an RTL IP is still under-explored, particularly when ABV is adopted. Some frameworks have been proposed to deal with ABV at TLM, but they assume a top-down design and verification flow, where assertions are defined ex-novo at TLM level. In contrast, the reuse of existing assertions in an RTL-to-TLM bottom-up design flow has not been analyzed yet, except by using transactors to create a mixed simulation between the TLM design and the RTL checkers corresponding to the assertions. However, the use of transactors may lead to longer verification time due to the need of developing and verifying the transactors themselves. Moreover, the simulation time is negatively affected by the presence of transactors, which slow down the simulation at the speed of the slowest parts (i.e., RTL checkers). This article proposes an alternative methodology that does not require transactors for reusing assertions, originally defined for a given RTL IP, in order to verify the corresponding TLM model. Experimental results have been conducted on benchmarks with different characteristics and complexity to show the applicability and the efficacy of the proposed methodology

A novel α-amylase-lipase formulation as anti-staling agent in durum wheat bread

The aim of this work has been to evaluate the anti-staling effect exerted by a novel a-amylase-lipase enzyme formulation on durum wheat bread, in comparison with four different commercial amylase preparations and with control without added enzymes. Bread-making trials were carried out at industrial level. Sliced bread, packed under modified atmosphere, was analyzed for texture profile, moisture content, and water activity during 90 days. Crumb sections were submitted to environmental scanning electron microscopy at the end of the storage period. The a-amylase-lipase enzyme preparation showed synergistic interactions in preventing staling. In particular, bread added of these two enzymes in mixture was always softer and more chewable than either control or samples added of other enzymes. Moreover, a-amylase-lipase exhibited the most marked effect in slowing down both hardening and chewiness changes during time. Starting from 7 days of storage, both water activity and moisture content of bread added of a-amylase-lipase were higher than in control. Starting from 68 days the moisture content of aamylase-lipase-added bread became lower than that of other enzyme-added breads, and at the end of storage also water activity was significantly lower. Pore morphology of a-amylase-lipase-added bread appeared markedly different from that of control bread

Controlled Density Patterning of Tolylterpyridine-Tagged Oligonucleotides

International audienc

Monolithic silicon telescope as position sensitive detector

We show the possibility to use a new kind of monolithic silicon telescope as position sensitive detector

A New Approach to Calorimetry in Space-Based Experiments for High-Energy Cosmic Rays

Precise measurements of the energy spectra and of the composition of cosmic rays in the PeV region could improve our knowledge regarding their origin, acceleration mechanism, propagation, and composition. At the present time, spectral measurements in this region are mainly derived from data collected by ground-based detectors, because of the very low particle rates at these energies. Unfortunately, these results are affected by the high uncertainties typical of indirect measurements, which depend on the complicated modeling of the interaction of the primary particle with the atmosphere. A space experiment dedicated to measurements in this energy region has to achieve a balance between the requirements of lightness and compactness, with that of a large acceptance to cope with the low particle rates. CaloCube is a four-year-old R&D project, approved and financed by the Istituto Nazionale di Fisica Nucleare (INFN) in 2014, aiming to optimize the design of a space-borne calorimeter. The large acceptance needed is obtained by maximizing the number of entrance windows, while thanks to its homogeneity and high segmentation this new detector achieves an excellent energy resolution and an enhanced separation power between hadrons and electrons. In order to optimize detector performances with respect to the total mass of the apparatus, comparative studies on different scintillating materials, different sizes of crystals, and different spacings among them have been performed making use of MonteCarlo simulations. In parallel to simulations studies, several prototypes instrumented with CsI(Tl) (Caesium Iodide, Tallium doped) cubic crystals have been constructed and tested with particle beams. Moreover, the last development of CaloCube, the Tracker-In-Calorimeter (TIC) project, financed by the INFN in 2018, is focused on the feasibility of including several silicon layers at different depths in the calorimeter in order to reconstruct the particle direction. In fact, an important requirement for γ -ray astronomy is to have a good angular resolution in order to allow precise identification of astrophysical sources in space. In respect to the traditional approach of using a tracker with passive material in front of the calorimeter, the TIC solution can save a significant amount of mass budget in a space satellite experiment, which can then be exploited to improve the acceptance and the resolution of the calorimeter. In this paper, the status of the project and perspectives for future developments are presented